https://nova.newcastle.edu.au/vital/access/ /manager/Index en-au 5 Formal specification at model-level of model-driven engineering using modelling techniques https://nova.newcastle.edu.au/vital/access/ /manager/Repository/uon:48430 Thu 16 Mar 2023 14:17:46 AEDT ]]> Modelling the implementation of technological innovations in construction https://nova.newcastle.edu.au/vital/access/ /manager/Repository/uon:1909 Sat 24 Mar 2018 08:33:13 AEDT ]]> Multi-level analysis of IEC 61131-3 languages to detect clones https://nova.newcastle.edu.au/vital/access/ /manager/Repository/uon:41796 Fri 12 Aug 2022 12:24:48 AEST ]]>